Démontrer \((**)\) :
On suppose d'abord que \(F\) est une indicatrice d'un cylindre \(\to\) on connaît alors \(\Bbb 1_A\circ\theta_n\).

On calcule l'espérance conditionnelle de \(F\) sachant \(X_0,\dots,X_n\).

Cette probabilité peut facilement être calculée à l'aide d'une proposition précédente.

Généralisation par Lemme de classe monotone, linéarité et densité.
